Effect System
効果
koka
や
Effekt
、
Unison
、
Eff
などに実装されている何か
どうやらなうでやんぐな型システムらしい
いつものalgebraic（代数的）がつくが無いほうが一般向けなんじゃないかな
型に追加でつくEffectとそれを処理するEffect Handlerの２つの概念でなんやかんやする
たぶん継続とかいうのと関係がある